https://filesoo.com/product/19157/extending-an-orthonormal-rational-set-of-vectors-into-an-orthonormal-rational-basis